L`induction structurelle ou récurrence structurelle est une méthode de définition d`une fonction ou d`une propriété sur une structure, c`est-à-dire sur des objets (mathématiques ou informatiques) structurées comme les listes, les arbres ou les arbres binaires, mais qui, plus généraleme...